Dave Plume (supervised by Martín Escardó, Alex Simpson): A Calculator for Exact Real Number Computation, University of Edinburgh (1998) [web]
Alex Simpson, Measure, randomness and sublocales, Annals of Pure and Applied Logic, Volume 163, Issue 11, November 2012, Pages 1642-1659. (doi:10.1016/j.apal.2011.12.014)